Example based testing